Ett manifest för förändring
نویسندگان
چکیده
منابع مشابه
Institutionen för systemteknik
In this thesis, two real-time stereo methods have been implemented and evaluated. The first one is based on blockmatching and the second one is based on local phase. The goal was to be able to run the algorithms at real-time and examine which one is best. The blockmatching method performed better than the phase based method, both in speed and accuracy. SIMD operations (Single Instruction Multip...
متن کاملEpigram reloaded: a standalone typechecker for ETT
Epigram 1 [18, 3] is at the same time a functional programming language with dependent types and a type-driven, interactive program development system. Epigram’s type system is strong enough to express a wide range of program properties, from basic structural invariants to full specifications. The system supports the interactive development of programs exploiting types to direct the design proc...
متن کاملeTT sucTioning in neonaTes and infanTs
The endotracheal tube (eTT) is the most common artificial airway used in NICUs. Suctioning of the eTT is imperative to maintain patency and prevent complications. An extensive review of the literature revealed a lack of standardized criteria or guidelines for suctioning the eTT of neonates and infants in the NICU. The purpose of this article is to report the implementation of an evidencebased g...
متن کاملDrug-related morbidity and mortality: Pharmacoepidemiological aspects
Idag finns det säkra och effektiva behandlingar mot många sjukdomar. Läkemedel är den vanligaste behandlingsformen i sjukvården och under 2006 hämtade sex miljoner svenskar (68%) ut ett eller fler recept på ett apotek i Sverige. Även om läkemedelsbehandling har många positiva effekter kan även oönskade och skadliga effekter vid läkemedelsbehandling uppkomma, dvs. läkemedelsbiverkningar. Innan e...
متن کاملROYAL INSTITUTE OF TECHNOLOGY STOCKHOLM MASTER DEGREE PROJECT Design of an Automatic Specification-based Test-framework for On-board Software of Satellites
Satelliter är sofistikerade och därför komplicerade konstruktioner som kräver tvärvetenskapligt lagarbete mellan olika experter från olika akademiska discipliner. Integrationen av specifika nyttolastkomponenter, liksom vetenskapliga experiment, med inbyggd programvara för satelliter är mycket utmanande. Domänexperten, som ägare av nyttolastkomponenten, besitter detaljerade insikter om hans elle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Venue
سال: 2014
ISSN: 2001-788X
DOI: 10.3384/venue.2001-788x.14311